Modeling Abstract Numeric Relations Using Concrete Notations
نویسندگان
چکیده
Abstract relational reasoning is a core component of human thinking. While abstract relations are understood using a wide variety of methods, the formal algebraic equation is among the most powerful and general mechanisms for representing relational statements. It has often been assumed that the means by which expressions represent relations are purely semantic, and are encoded in an abstract syntax that governs the use of notation without regard to the details of its physical structure (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). In contrast, we propose an image of equation construction that highlights the role of concrete physical relations in mediating the interpretation of equations. In this account, construction processes involve a structural alignment across representation systems. Alignment biases reasoners toward the selection of representations that maintain the concrete structure of source representations. We demonstrate that this approach accounts naturally for a variety of previously reported phenomena in equation construction, and correctly predicts several new phenomena.relational reasoning is a core component of human thinking. While abstract relations are understood using a wide variety of methods, the formal algebraic equation is among the most powerful and general mechanisms for representing relational statements. It has often been assumed that the means by which expressions represent relations are purely semantic, and are encoded in an abstract syntax that governs the use of notation without regard to the details of its physical structure (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). In contrast, we propose an image of equation construction that highlights the role of concrete physical relations in mediating the interpretation of equations. In this account, construction processes involve a structural alignment across representation systems. Alignment biases reasoners toward the selection of representations that maintain the concrete structure of source representations. We demonstrate that this approach accounts naturally for a variety of previously reported phenomena in equation construction, and correctly predicts several new phenomena.
منابع مشابه
Stepwise refinement of sequence diagrams with soft real - time requirements
UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer systems, probabilities are often essential, in particular for capturing soft real-time requirements. It is also important to be able to specify systems at different levels o...
متن کاملExperimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling Languages
Graphical Domain Specific Modeling Languages (DSML) are alternatives to general purpose modeling languages e.g. UML or SysML. They describe models with concepts and relations specific to a domain. Defining such languages consists of defining an abstract syntax and a graphical concrete syntax accompanied by a correspondence mappingsyntax and a graphical concrete syntax accompanied by a correspon...
متن کاملCanonSketch: A User-Centered Tool for Canonical Abstract Prototyping
In this paper, we argue that current user interface modeling tools are developed using a formalism-centric approach that does not support the needs of modern software development. In order to solve this problem we need both usable and expressive notations and tools that enable the creation of user-interface specifications that leverage the design and thought process. In this paper we present th...
متن کاملA Unified Superstructure for UML
A key aspect of successfully using UML is understanding the semantics of the notations. UML 2 will increase the already substantial collection of notations supported by UML 1.x. At the same time, this will augment the difficulty users experience in understanding semantics. In this paper we propose that while the diverse notations may render concepts differently, the concepts can often be consid...
متن کاملAutomata Based Method for Domain-specific Languages Definition
We outline a research proposal which goal is to contribute to methods of new Domain-Specific Languages (DSLs) definition and implementation. We propose the automata based method for DSLs definition that allows specifying new languages with various notations in such a way that the language definition can be treated as a ready-to-use language implementation already. The automata based method allo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011